Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
801	Weaker D-Complete Logics NORMAN D. MEGILL, 19 Locke Lane, Lexington, MA 02173, USA. E-mail: [removed] MARTIN W. BUNDER, Department of Mathematics, University of Wollongong, Wollongong NSW 2500, Australia. E-mail: Mar Add to Reading List Source URL: de.metamath.org Language: English - Date: 2002-02-04 10:16:13 Condensed detachment Modal logic Propositional calculus Model theory Logic Mathematical logic Mathematics
802	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: de.metamath.org Language: English - Date: 2014-06-27 17:40:55 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics
803	Classifications of Propositional Operations #86 of Gottschalk’s Gestalts A Series Illustrating Innovative Forms of the Organization & Exposition of Mathematics Add to Reading List Source URL: gottschalksgestalts.org Language: English - Date: 2005-01-23 22:29:06 Œ Negation Equals sign Logic Linguistics Mathematics Boolean algebra Propositional calculus Semantics
804	3URFHHGLQJVRIWKHQG1RUWK$PHULFDQ&RQIHUHQFHRQ&KLQHVH/LQJXLVWLFV1$&&/ WKHWK,QWHUQDWLRQDO&RQIHUHQFHRQ &KLQHVH/LQJXLVWLFV,$&/9RO&OHPHQV/( &0//LXHGV+DUYDUG8QLYH Add to Reading List Source URL: naccl.osu.edu Language: English - Date: 2012-06-21 07:20:39 Negation Propositional calculus Semantics Mystery Auxiliary verb Copula Logic Linguistics Boolean algebra Grammar
805	The X3 Language Specification Ross Tate October 11, 2013 1 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-10-11 12:41:51 Propositional calculus Character encoding Digital typography Graphic design Symbol Latin alphabet Printing Orbifold Alphabetic writing systems Letter Typography
806	Automated Runtime Verification with Eagle Allen Goldberg and Klaus Havelund Kestrel Technology, Palo Alto, California, USA {goldberg,havelund}@kestreltechnology.com Abstract. E AGLE is a very powerful logic for expressi Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:22 Temporal logic Linear temporal logic ALGOL 68 Monitor Model checking Agle Propositional calculus Logic Mathematical logic Software engineering
807	Journal of Machine Learning Research[removed]3681 Submitted 4/12; Revised 7/13; Published[removed]Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming Add to Reading List Source URL: jmlr.org Language: English - Date: 2013-12-12 22:22:13 Propositional calculus Logic programming Logic in computer science Boolean algebra Automated theorem proving Constraint logic programming Resolution Horn clause Boolean satisfiability problem Logic Theoretical computer science Mathematics
808	A Solution to the Proviso Problem: Formal Alternatives, Relevance, and Accommodation 1. The Proviso Problem: Geurts[removed]observes that ‘satisfaction theories’ of presupposition (eg. Heim[removed]predict that when con Add to Reading List Source URL: www.salt17.uconn.edu Language: English - Date: 2007-03-06 22:45:22 Logical syntax Philosophy of language Pragmatics Presupposition Entailment Proposition Interpretation Static single assignment form Logic Semantics Propositional calculus
809	Noname manuscript No. (will be inserted by the editor) A two-level logic approach to reasoning about computations Andrew Gacek · Dale Miller · Gopalan Nadathur Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-25 14:38:54 Model theory Proof theory Automated theorem proving Formal languages Propositional calculus Interpretation Sequent calculus Symbol Substitution Logic Mathematical logic Mathematics
810	Some Test Examples M. Ultseq July 23, [removed] Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 14:02:24 Model theory Mathematics Ordinary differential equations Propositional calculus Logic Mathematical logic Proof theory

UPDATE